Verifikation in Algebraischen Spezifikationen

Projektleitung und Mitarbeiter

Bündgen, R. (Dr. rer. nat.), Loos, R. G. K. (Prof. Dr. rer. nat.), Küchlin, W. (Prof. Dr. sc. techn., Arbeitsbereich Symbolisches Rechnen)

Mittelgeber :

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Es werden Verfahren des automatischen Beweisens für algebraische Spezifikationen entwickelt und untersucht. Dabei werden insbesondere Termersetzungssysteme und Vervollständigungsverfahren als Werkzeuge für Gleichungs- und Induktionsbeweise eingesetzt. Besonderes Interesse findet der strukturelle Zusammenhang von Vervollständigungsmethoden in der Computeralgebra und der Termersetzung, die Beschreibung von Typinformation für Computeralgebrasysteme durch algebraische Spezifikationen und die Hardwareverifikation.

Publikationen

Bündgen, R., Küchlin, W.: Term rewriting as a tool for hardware and software design. In: Codesign Computer-Aided Software/Hardware Engineering, pp. 19 40. IEEE Press (1995).

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise